\newcommand*{\plogo}{\fbox{$\mathcal{PL}$}} % Generic publisher logo

\newcommand*{\titleGP}{\begingroup % Create the command for including the title page in the document
\centering % Center all text
\vspace*{\baselineskip} % White space at the top of the page

\rule{\textwidth}{1.6pt}\vspace*{-\baselineskip}\vspace*{2pt} % Thick horizontal line
\rule{\textwidth}{0.4pt}\\[\baselineskip] % Thin horizontal line

{\LARGE Hacia la especificación y verificación formal de algoritmos criptográficos: Mini-AES certificado}\\[0.2\baselineskip] % Title
%{\LARGE THE BIG BOOK\\ OF \\[0.3\baselineskip] \LaTeX ~TEMPLATES}\\[0.2\baselineskip] % Title

\rule{\textwidth}{0.4pt}\vspace*{-\baselineskip}\vspace{3.2pt} % Thin horizontal line
\rule{\textwidth}{1.6pt}\\[\baselineskip] % Thick horizontal line

\scshape % Small caps
Informe de Proyecto de Grado\\
Presentado al Tribunal Evaluador como requisito de graduación de la carrera Ingeniería en Computación\\[\baselineskip] % Tagline(s) or further description
Montevideo,  2014\par % Location and year

\vspace*{2\baselineskip} % Whitespace between location/year and editors

Autores \\[\baselineskip]
{\Large Mauricio Martínez \\ Enrique Rodríguez\par} % Editor list

\vspace*{2\baselineskip} % Whitespace between location/year and editors

Tutores \\[\baselineskip]
{\Large Gustavo Betarte \\ Juan Diego Campo \\ Carlos Luna\par} % Editor list

\vspace*{2\baselineskip} % Whitespace between location/year and editors
{\itshape Facultad de Ingeniería, Universidad de la República\par} % Editor affiliation

\endgroup}